381. Symbolic and algebraic computation : International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988 : Proceedings
پدیدآورنده : P. Gianni, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
358
382. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
پدیدآورنده : P. Gianni, ed
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Mathematics -- Data processing,Data processing --Congresses ، Algebra
رده :
QA
76
.
95
.
I57
1988
383. Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: proceedings
پدیدآورنده :
موضوع : Data processing Congresses ، Mathematics,Data processing Congresses ، Algebra
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
384. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
پدیدآورنده : P. Gianni, ed,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Mathematics - Data processing - Congresses,Algebra - Data processing - Congresses
رده :
QA
.
I57
76
.
95
1988
385. Symbolic and numerical scientific computation :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Differential equations ; Numerical solutions ; Congresses ; Numerical calculations ; Congresses ; Algebra ; Data processing ; Congresses ;
386. Symbolic and numerical scientific computation
پدیدآورنده : / Franz Winkler, Ulrich Langer (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Differential equations--Numerical solutions--Congresses,Numerical calculations--Congresses,Algebra--Data processing--Congresses
رده :
QA
,
370
,.
S67
,
2001
387. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
پدیدآورنده : edited by Manfred Kerber and Michael Kohlhase
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4C23
2000
388. Symbolic computation and automated reasoning: the CALCULEMUS-2000 Symposium
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Algebra-- Data processing,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4
.
C35
2000
389. Symbolic computation, number theory, special functions, physics, and combinatorics
پدیدآورنده : edited by Frank G. Garvan and Mourad E. H. Ismail
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، q-series,Data processing -- Congresses ، Algebra,Congresses ، Number theory,Congresses ، Functions, Special,Congresses ، Mathematical physics,Congresses ، Combinatorial analysis
رده :
QA
295
.
S97
390. Symbolic computation : solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation : Solving Equations in Algebra, Geometry, and Engineering, Mount Holyoke College, South Hadley, MA, June 11-15, 2000
پدیدآورنده : Edward L. Green ... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra,Data processing -- Congresses ، Equations -- Numerical solutions
رده :
QA
155
.
7
.
E4A488
2000
391. SymbolicC++: an introduction to computer algebra using object _ Oriented Programming
پدیدآورنده : / Tan kiat shi, Willi_Hans Steeb
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Object _ oriented Programming (Computer Science).,C++ (computer program Language),Algebra _ Data Processing.
رده :
QA76
,.
64
.
T
35
392. Systems of reductions
پدیدآورنده : Benninghofen, Benjamin, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Rewriting systems )Computer science(,Data processing ، Algebra, Universal,، Algorithms
رده :
QA
76
.
L28
Vol
.
277
393. Systems of reductions
پدیدآورنده : Benninghofen, Benjamin
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Rewriting systems )Computer science(,Data processing ، Algebra, Universal,، Computer algorithms
رده :
QA
267
.
B46
1987
394. Termersetzungssysteme :
پدیدآورنده : von Klaus Drosten.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra -- Data processing.,Computer science.,Software engineering.
رده :
QA76
.
76
.
R48
V665
1989
395. The Maple V primer
پدیدآورنده : / Frank Garvan
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Maple (computer file),Algebra, Data processing
رده :
QA
155
.
7
.
E4G37
1996
396. The Maple book
پدیدآورنده : Garvan, Frank
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Maple )Computer file(,Data processing ، Algebra
رده :
QA
155
.
7
.
E4
G36
2002
397. The Maple book
پدیدآورنده : Garvan, Frank G.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Maple )Computer file(,، Algebra- Data processing
رده :
QA
155
.
7
.
E4G36
398. The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers
پدیدآورنده : edited by N. Inada, T. Soma
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
155
.
7
.
E4I58
1984
399. The maple book
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Maple(coputer File),Algebra-Data processing
رده :
510
.
28553042
G244m
400. The mathematica guidebook for numerics
پدیدآورنده : Trott, Michael
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Data processing ، Algebra
رده :
QA
76
.
95
.
T7727
